home *** CD-ROM | disk | FTP | other *** search
/ Meeting Pearls 1 / Meeting Pearls Vol 1 (1994).iso / installed_progs / text / faqs / ai-faq.general.part1 < prev    next >
Encoding:
Internet Message Format  |  1994-05-15  |  34.2 KB
  1. Subject: FAQ: Artificial Intelligence Questions & Answers 1/6 [Monthly posting]
  2. Newsgroups: comp.ai,news.answers,comp.answers
  3. From: mkant+@cs.cmu.edu (Mark Kantrowitz)
  4. Date: Fri, 13 May 1994 14:53:45 GMT
  5.  
  6. Archive-name: ai-faq/general/part1
  7. Last-Modified: Thu May 12 18:07:51 1994 by Mark Kantrowitz
  8. Version: 1.19
  9.  
  10. ;;; ****************************************************************
  11. ;;; Answers to Questions about Artificial Intelligence *************
  12. ;;; ****************************************************************
  13. ;;; Written by Mark Kantrowitz
  14. ;;; ai_1.faq -- 34247 bytes
  15.  
  16. If you think of questions that are appropriate for this FAQ, or would
  17. like to improve an answer, please send email to mkant+ai-faq@cs.cmu.edu.
  18.  
  19. *** Copyright:
  20.  
  21. Copyright (c) 1992-94 by Mark Kantrowitz. All rights reserved.
  22.  
  23. This FAQ may be freely redistributed in its entirety without
  24. modification provided that this copyright notice is not removed.  It
  25. may not be sold for profit or incorporated in commercial documents
  26. (e.g., published for sale on CD-ROM, floppy disks, books, magazines,
  27. or other print form) without the prior written permission of the
  28. copyright holder.  Permission is expressly granted for this document
  29. to be made available for file transfer from installations offering
  30. unrestricted anonymous file transfer on the Internet.
  31.  
  32. This article is provided AS IS without any express or implied warranty.
  33.  
  34. *** Topics Covered:
  35.  
  36. Part 1:
  37.   [1-0]  What is the purpose of this newsgroup?
  38.   [1-1]  History of AI?
  39.   [1-2]  Glossary of AI terms.
  40.   [1-3]  What are the top schools in AI?
  41.   [1-4]  How can I get the email address for Joe or Jill Researcher?
  42.   [1-5]  What are the rules for the game of "Life"?
  43.   [1-6]  What AI competitions exist?
  44.   [1-7]  Commercial AI products.
  45.  
  46. Part 2 (AI-related Newsgroups and Mailing Lists):
  47.   List of all known AI-related newsgroups, mailing lists, and
  48.   electronic bulletin board systems.
  49.  
  50. Part 3 (AI-related Associations and Journals):
  51.   List of AI-related associations and journals, organized by subfield.
  52.  
  53. Part 4 (Bibliography):
  54.   -  Bibliography of introductory texts, overviews and references
  55.   -  Addresses and phone numbers for major AI publishers
  56.   -  Finding conference proceedings
  57.   -  Finding PhD dissertations
  58.  
  59. Part 5 (FTP Resources):
  60.   [5-0]  General Information about FTP Resources for AI
  61.   [5-1]  FTP Repositories
  62.   [5-2a] FTP and Other Resources: Agents -- Planning
  63.  
  64.   Note: Question [5-2] (FTP and Other Resources) is split across parts 5 and 6.
  65.  
  66. Part 6 (FTP Resources):
  67.   [5-2b] FTP and Other Resources: Qualitative Reasoning -- Theorem Proving
  68.   [6-1]  AI Bibliographies available by FTP
  69.   [6-2]  AI Technical Reports available by FTP
  70.   [6-3]  Where can I get a machine readable dictionary, thesaurus, and
  71.          other text corpora?
  72.   [6-4]  List of Smalltalk implementations.
  73.   [6-5]  AI-related CD-ROMs
  74.   [6-6]  World-Wide Web (WWW) Resources
  75.  
  76. Search for [#] to get to question number # quickly.
  77.  
  78. *** Recent changes:
  79.  
  80. ;;; 1.19:
  81. ;;; 15-APR-94 mk    Added more DAI references and UMass DAI WWW server, thanks
  82. ;;;                 to Keith Decker.
  83. ;;; 20-APR-94 mk    Added entry on "The Brain" a nn simulator for MS-DOS
  84. ;;;                 systems.
  85. ;;; 22-APR-94 mk    Updated ftp information for ftp.gmd.de.
  86. ;;;  5-MAY-94 mk    Added entry on the Pratt/Doerpmund implementation of the
  87. ;;;                 Paris/Vencovska model of belief (defeasible reasoning) to
  88. ;;;                 the list of ftpable systems.
  89. ;;;  9-MAY-94 mk    Added Algorithmic Learning (book) to part 4.
  90. ;;; 12-MAY-94 mk    Added journal Adaptive Behavior (MIT Press).
  91. ;;; 12-MAY-94 mk    Added entry on Alf's collection of BibTeX bibliographies to
  92. ;;;                 [6-1].
  93. ;;; 12-MAY-94 mk    Added ICCA chess game annotation contests to [1-6].
  94. ;;; 12-MAY-94 mk    Added GESTURE-L to part 2.
  95. ;;; 12-MAY-94 mk    Added CMU Oz Project Web page to [6-6].
  96. ;;; 12-MAY-94 mk    Added entry on SPIE's INFO-ROBO robotics mailing list.
  97.  
  98. *** Introduction:
  99.  
  100. Certain questions and topics come up frequently in the various network
  101. discussion groups devoted to and related to Artificial Intelligence
  102. (AI).  This file/article is an attempt to gather these questions and
  103. their answers into a convenient reference for AI researchers. It is
  104. posted on a monthly basis. The hope is that this will cut down on the
  105. user time and network bandwidth used to post, read and respond to the
  106. same questions over and over, as well as providing education by
  107. answering questions some readers may not even have thought to ask.
  108.  
  109. The latest version of this FAQ is available via anonymous FTP from 
  110.    ftp.cs.cmu.edu:/user/ai/pubs/faqs/ai/  [128.2.206.173]
  111. using username "anonymous" and password "name@host" (substitute your
  112. email address) or via AFS in the Andrew File System directory
  113.    /afs/cs.cmu.edu/project/ai-repository/ai/pubs/faqs/ai/
  114. as the files ai_1.faq, ai_2.faq, ai_3.faq, ai_4.faq, ai_5.faq and ai_6.faq.
  115.  
  116. You can also obtain a copy of the FAQ by sending a message to
  117. ai+query@cs.cmu.edu with 
  118.    Send AI FAQ
  119. in the message body.
  120.  
  121. The FAQ postings are also archived in the periodic posting archive on
  122.    rtfm.mit.edu:/pub/usenet/news.answers/ai-faq/ [18.70.0.209]
  123. If you do not have anonymous ftp access, you can access the archive by
  124. mail server as well.  Send an E-mail message to mail-server@rtfm.mit.edu
  125. with "help" and "index" in the body on separate lines for more
  126. information.
  127.  
  128. An automatically generated HTML version of the AI FAQ is accessible by
  129. WWW as part of the AI-related FAQs Mosaic page. The URL for this
  130. resource is
  131.    http://www.cs.cmu.edu:8001/Web/Groups/AI/html/faqs/top.html
  132. The direct URL for the AI FAQ is
  133.    http://www.cs.cmu.edu:8001/Web/Groups/AI/html/faqs/ai/ai_general/top.html
  134.  
  135. If you need to cite the FAQ for some reason, use the following format:
  136.    Mark Kantrowitz, "Answers to Frequently Asked Questions about
  137.    Artificial Intelligence", comp.ai, <month>, <year>,
  138.    ftp.cs.cmu.edu:/user/ai/pubs/faqs/ai/ai_?.faq, mkant+ai-faq@cs.cmu.edu.
  139.  
  140. ----------------------------------------------------------------
  141. Subject: [1-0] What is the purpose of this newsgroup?
  142.  
  143. The newsgroup comp.ai exists for general discussion of topics related
  144. to Artificial Intelligence. For example, possible topics can
  145. include (but are not necessarily limited to):
  146.    announcements of AI books and products
  147.    discussion of AI programs and tools
  148.    questions about AI techniques
  149.    problems implementing an AI technique
  150. Postings should be of general interest to the AI community. See also
  151. part 2 of the FAQ for a list of other more specialized discussion lists.
  152.  
  153. Every so often, somebody posts an inflammatory message, such as
  154.    Will computers every really think?
  155.    AI hasn't done anything worthwhile.
  156. These "religious" issues serve no real purpose other than to waste
  157. bandwidth. If you feel the urge to respond to such a post, please do
  158. so through a private e-mail message, or post redirecting follow-ups to
  159. comp.ai.philosophy.  
  160.  
  161. We've tried to minimize the overlap with the FAQ postings to the
  162. comp.lang.lisp, comp.lang.prolog, comp.ai.neural-nets, and
  163. comp.ai.shells newsgroups, so if you don't find what you're looking
  164. for here, we suggest you try the FAQs for those newsgroups. These FAQs
  165. should be available by anonymous ftp in subdirectories of
  166.    rtfm.mit.edu:/pub/usenet/
  167. or by sending a mail message to mail-server@rtfm.mit.edu with subject "help".
  168.  
  169. The Lisp FAQ is also available by anonymous ftp from the same ftp
  170. location as the AI FAQ and from ftp.think.com:/public/think/lisp/.
  171. The Expert Systems Shells FAQ is also available by anonymous ftp from
  172. the same ftp location as the AI FAQ. 
  173.  
  174. Information about Prolog may be obtained from two sources: The Prolog
  175. FAQ, which is posted twice a month to the newsgroup comp.lang.prolog
  176. by Jamie Andrews <jamie@cs.sfu.ca>, and the Prolog Resource Guide,
  177. which is posted to the newsgroup comp.lang.prolog once a month, and is
  178. available by anonymous FTP from 
  179.    ftp.cs.cmu.edu:/user/ai/pubs/faqs/prolog/ [128.2.206.173] 
  180. or in the AFS directory 
  181.    /afs/cs.cmu.edu/project/ai-repository/ai/pubs/faqs/prolog/
  182. as the files prg_1.faq and prg_2.faq.
  183.  
  184. The Robotics FAQ is available by anonymous ftp from 
  185.    ftp.cs.cmu.edu:/user/nivek/robotics-faq/ [128.2.206.173]
  186. as the files part1 and part2. To obtain a copy by email, send a message to 
  187. mail-server@rtfm.mit.edu containing the following lines:
  188.    send usenet/news.answers/robotics-faq/part1
  189.    send usenet/news.answers/robotics-faq/part2
  190. On UUCP, it is available at 
  191.    uunet!/archive/usenet/news.answers/robotics-faq/ 
  192. as the files part1.Z and part2.Z, or by ftp from 
  193.    ftp.uu.net:/archive/usenet/news.answers/robotics-faq/ [137.39.1.9]
  194.  
  195. Information about object-oriented programming can be obtained in the
  196. newsgroups comp.object, comp.lang.clos, and comp.lang.smalltalk.
  197. Information about object-oriented databases can be obtained in the
  198. survey compiled by Stewart Clamen, which may be found either in the
  199. comp.object FAQ posting or in 
  200.    byron.sp.cs.cmu.edu:/usr/anon/clamen/evolution-summary
  201.  
  202. The Neurosciences Internet Resource Guide is available by 
  203. anonymous ftp from
  204.    una.hh.lib.umich.edu:/inetdirsstacks/neurosci:cormbonario
  205. and by WWW from
  206.    gopher://una.hh.lib.umich.edu/00/inetdirsstacks/neurosci:cormbonario
  207. in text (ascii) form. A hypertext version of the guide suitable for
  208. viewing using Mosaic is available from
  209.    http://http2.sils.umich.edu/Public/nirg/nirg1.html
  210. For more information, contact Steve Bonario and Sheryl Cormicle
  211. <nirg@umich.edu>. 
  212.  
  213. ----------------------------------------------------------------
  214. Subject: [1-1] History of AI?
  215.  
  216. The appendic to Ray Kurzweil's book "Intelligent Machines" gives a
  217. timeline of the history of AI.
  218.  
  219. Charniak and McDermott's book "Introduction to Artificial Intelligence",
  220. Addison-Wesley, 1985 contains a number of historical pointers.
  221.  
  222. See also Daniel Crevier, "AI: The Tumultuous History of the Search for
  223. Artificial Intelligence", Basic Books, New York, 1993.
  224.  
  225. ----------------------------------------------------------------
  226. Subject: [1-2] Glossary of AI terms.
  227.  
  228. This is the start of a simple glossary of short definitions for AI terminology.
  229.  
  230.    Strong AI:           
  231.         Claim that computers can be made to actually think, just like human
  232.         beings do. More precisely, the claim that there exists a class of
  233.         computer programs, such that any implementation of such a program is
  234.         really thinking.
  235.  
  236.    Weak AI:             
  237.         Claim that computers are important tools in the modeling and
  238.         simulation of human activity.
  239.  
  240.    Case-based Reasoning: 
  241.         Technique whereby "cases" similar to the current problem are
  242.         retrieved and their "solutions" modified to work on the current
  243.         problem. 
  244.  
  245.    Nonlinear Planning:
  246.         A planning paradigm which does not enforce a total (linear)
  247.         ordering on the components of a plan.
  248.  
  249.    Admissibility:
  250.         An admissible search algorithm is one that is guaranteed to
  251.         find an optimal path from the start node to a goal node, if
  252.         one exists. In A* search, an admissible heuristic is one that never
  253.         overestimates the distance remaining from the current node to
  254.         the goal. 
  255.  
  256.    Fuzzy Logic:
  257.         In Fuzzy Logic, truth values are real values in the closed
  258.         interval [0..1]. The definitions of the boolean operators are
  259.         extended to fit this continuous domain. By avoiding discrete
  260.         truth-values, Fuzzy Logic avoids some of the problems inherent in
  261.         either-or judgments and yields natural interpretations of utterances
  262.         like "very hot". Fuzzy Logic has applications in control theory.
  263.  
  264.    Verification:
  265.         The process of confirming that an implemented model works as intended.
  266.  
  267.    Validation:
  268.         The process of confirming that one's model uses measureable inputs
  269.         and produces output that can be used to make decisions about the
  270.         real world.
  271.  
  272. ----------------------------------------------------------------
  273. Subject: [1-3] What are the top schools in AI?
  274.  
  275. The answer to this question is not intended to be a ranking and should
  276. not be interpreted as such. There are several major problems with
  277. ratings like the Gourman Report and the US News and World Report. Such
  278. rankings are often unsubstantiated and anecdotal, their accuracy is
  279. questionable, and they do not focus on the subfields of an area. When
  280. selecting a graduate school, students should look for schools which
  281. not only have excellent programs in their general area of research
  282. but also at least one faculty member whose research interests mesh
  283. well with the student's. Accordingly, we've broken down this list
  284. according to topic, and sorted the schools within each topic in
  285. ALPHABETICAL ORDER. 
  286.  
  287. For a school to be added to a topic area, there should at least two
  288. faculty actively conducting research in that area and the school
  289. should have a "good" reputation in that area. Exceptions are made for
  290. schools which only have one faculty member in the area, but that
  291. professor is a "leader" of the area, or for fields where the total
  292. number of people working in the area is small in the first place. The
  293. general idea behind these criteria is to ensure that a school has
  294. enough activity in the area that a student who considers one of these
  295. schools won't be disappointed if one of the faculty in that area is on
  296. sabbatical or isn't taking students. Note that the research need not
  297. be conducted in the school's computer science department for the
  298. school to be listed -- in some cases we've included schools where the
  299. research is being conducted in a different department or special laboratory.
  300.  
  301. The best way for students to discover which schools are good in a
  302. field is to ask professors (and graduate students) in their
  303. undergraduate school for suggestions on where to apply. Reading the
  304. research journals in the field is another good method (see part 3 of
  305. the FAQ).
  306.  
  307. A genealogy of AI thesis-advising relationships is available by
  308. anonymous ftp as 
  309.    cs.ucsd.edu:/pub/rik/aigen.rpt
  310. Although intended to complement citation analysis and free-text
  311. information retrieval as tools for understanding the AI community and
  312. their connections to other disciplines, it may be useful to
  313. prospective graduate students. For example, it may help you understand
  314. the historical context of a given professor's perspective.  2,600 MS
  315. and PhD theses have been tabulated so far.  If you'd like to
  316. contribute additional listings (including year, title, abstract,
  317. school, advisor, committee members, and subsequent employment), write
  318. to Rik Belew <rik@cs.ucsd.edu> or fax 619-534-7029, for the
  319. questionnaire. A copy of the questionaire and more information is
  320. available in 
  321.    cs.ucsd.edu:/pub/rik/announce.t
  322.  
  323. A list of email addresses for CS departments is posted once a month to
  324. the newsgroup soc.college.gradinfo.
  325.  
  326. The Association for Computational Linguistics publishes a directory of
  327. graduate programs in Computational Linguistics ($15 for members, $30
  328. for others).  Contact Association for Computational Linguistics,
  329. Walker, C. N. 925, Bernardsville, NJ 07924-0925, phone/fax
  330. 908-204-1337, or send email to acl@bellcore.com.
  331.  
  332. NOTE THAT THIS LIST IS PRELIMINARY AND BY NO MEANS COMPLETE.
  333.  
  334. Please feel free to suggest schools that are particularly strong in
  335. any of these areas, or to suggest new areas to be listed.
  336.  
  337. Schools with excellent programs in most fields:
  338.    Carnegie Mellon University (CMU)
  339.    MIT
  340.    Stanford
  341.  
  342.    Georgia Tech
  343.    Imperial College
  344.    Indiana
  345.    Institute for the Learning Sciences, Northwestern University (ILS) 
  346.    Maryland
  347.    Rutgers
  348.    SUNY/Buffalo
  349.    Toronto
  350.    UC/Berkeley
  351.    UCLA
  352.    Univ. of Edinburgh
  353.    Univ. of Illinois/Urbana-Champaign (UIUC)
  354.    Univ. of Maryland/College Park
  355.    Univ. of Massachusetts/Amherst
  356.    Univ. of Michigan
  357.    Univ. of Pennsylvania
  358.    Univ. of Pittsburgh
  359.    Univ. of Rochester
  360.    Univ. of Southern California & USC/Information Sciences Institute
  361.    Univ. of Sussex, School of Cognitive and Computing Sciences
  362.    Univ. of Texas/Austin
  363.    Yale
  364.  
  365. Universities with 2 or more AAAI Fellows:
  366.  
  367.    Note: Some Fellows have changed their affiliation since being named,
  368.          so this list isn't completely accurate.
  369.  
  370.    12  MIT
  371.    10  Carnegie Mellon University (CMU)
  372.    10  Stanford University 
  373.     6  Univ. of Massachusetts
  374.     5  Univ. of Pennsylvania
  375.     5  Univ. of Texas at Austin
  376.     5  Univ. of Toronto
  377.     4  Rutgers 
  378.     3  Univ. of Maryland
  379.     3  Univ. of Illinois 
  380.     3  Northwestern
  381.     3  USC/Information Sciences Institute 
  382.     2  Univ. of Southern California (USC) 
  383.     2  Harvard 
  384.     2  Univ. of California, Berkeley 
  385.     2  Univ. of Edinburgh 
  386.     2  Univ. of Pittsburgh
  387.     2  Univ. of Rochester 
  388.  
  389.    Universities with only one AAAI Fellow include: Brown, Duke, George Mason, 
  390.    Georgia Tech, Imperial College, New Mexico State, Oxford, San Jose State,
  391.    SUNY/Binghamton, Syracuse, Ohio State, Univ. of Birmingham, 
  392.    Univ. of British Columbia, UCLA, UCSD, UC/Santa Cruz, Univ. of Cambridge, 
  393.    Univ. of Linkoeping, Univ. of Marseille, Univ. of Minnesota, 
  394.    Univ. of Sussex, Univ. of Sydney, Wellesley, Yale 
  395.  
  396.    The full list of AAAI Fellows and their affiliations is available
  397.    by anonymous ftp as
  398.        ftp.cs.cmu.edu:/user/ai/pubs/faqs/ai/aifellow.txt
  399.  
  400. AI and Manufacturing:
  401.    Carnegie Mellon University (CMU) -- CIMDS
  402.    Univ. of Maryland/College Park
  403.    Univ. of Toronto
  404.    
  405. AI and Medicine:
  406.    MIT
  407.    Stanford
  408.    Univ. of Pittsburgh
  409.  
  410. AI and Legal Reasoning:
  411.    Imperial College
  412.    Univ. of Massachusetts/Amherst
  413.  
  414. Artificial Life:
  415.    Santa Fe Institute (SFI)
  416.    UCLA
  417.    Univ. of Delaware
  418.    MIT (Brooks' mobots)
  419.    Univ. of Sussex, School of Cognitive and Computing Sciences
  420.  
  421. Automated Deduction/Theorem Proving:
  422.    Imperial College
  423.    Stanford
  424.    Univ. of Edinburgh
  425.    Univ. of Oregon
  426.    Univ. of Texas/Austin
  427.  
  428. Case-Based Reasoning/Analogical Reasoning:
  429.    Chicago
  430.    Georgia Tech
  431.    Institute for the Learning Sciences, Northwestern University (ILS) 
  432.    Univ. of Massachusetts/Amherst
  433.    Univ. of Pittsburgh
  434.  
  435. Cognitive Modelling:
  436.    Carnegie Mellon University (CMU)
  437.    Georgia Tech
  438.    Indiana
  439.    Univ. of Maryland/College Park
  440.    Univ. of Michigan
  441.  
  442. Cognitive Science:
  443.    Brown University
  444.    Carnegie Mellon University (CMU)
  445.    Georgia Tech
  446.    Indiana University/Bloomington
  447.    Johns Hopkins
  448.    MIT
  449.    Princeton
  450.    Rutgers
  451.    SUNY/Buffalo
  452.    Stanford
  453.    UC/Berkeley
  454.    UC/San Diego
  455.    Univ. of Colorado/Boulder
  456.    Univ. of Edinburgh
  457.    Univ. of Minnesota
  458.    Univ. of Pennsylvania
  459.    Univ. of Rochester
  460.    Univ. of Sussex, School of Cognitive and Computing Sciences
  461.  
  462. Connectionism/Neural Networks:
  463.    Boston University, Cognitive and Neural Systems Department (ART networks)
  464.    Brown University
  465.    CalTech 
  466.    Carnegie Mellon University (CMU) 
  467.    Indiana
  468.    MIT 
  469.    Ohio State Univ.
  470.    Stanford 
  471.    Syracuse University
  472.    Texas A&M
  473.    Toronto
  474.    UC/Berkeley
  475.    UC/Irvine
  476.    UC/San Diego
  477.    UCLA
  478.    UNC/Chapel Hill
  479.    Univ. of Colorado/Boulder
  480.    Univ. of Edinburgh
  481.    Univ. of Helsinki
  482.    Univ. of Maryland/College Park
  483.    Univ. of Massachusetts/Amherst
  484.    Univ. of Pennsylvania
  485.    Univ. of Southern California & USC/Information Sciences Institute
  486.    Univ. of Sussex, School of Cognitive and Computing Sciences
  487.    Univ. of Wisconsin
  488.  
  489. Decision Theory and AI:
  490.    Berkeley
  491.    MIT
  492.    Stanford
  493.    Univ. of Michigan
  494.    Univ. of Washington
  495.  
  496. Distributed AI:
  497.    Univ. of Massachusetts/Amherst
  498.    Univ. of Michigan
  499.  
  500. Emotion:
  501.    Carnegie Mellon University
  502.    Institute for the Learning Sciences, Northwestern University (ILS) 
  503.  
  504. Fuzzy Logic:
  505.    Berkeley
  506.  
  507. Genetic Algorithms:
  508.    George Mason Univ.
  509.    Indiana
  510.    Stanford (Koza)
  511.    UC San Diego
  512.    UCLA
  513.    Univ. of Illinois/Urbana-Champaign (UIUC)
  514.    Univ. of Michigan
  515.    Univ. of Sussex, School of Cognitive and Computing Sciences
  516.  
  517. Integrated AI Architectures:
  518.    Carnegie Mellon University (CMU)
  519.    Stanford
  520.    Univ. of Michigan
  521.    Univ. of Sussex, School of Cognitive and Computing Sciences
  522.  
  523. Intelligent Tutoring, AI & Education:
  524.    Carnegie Mellon University (Cognitive Science Department)
  525.    Illinois Institute of Technology (IIT)
  526.    Institute for the Learning Sciences, Northwestern University (ILS) 
  527.    Univ. of Pittsburgh
  528.    Univ. of Sussex, School of Cognitive and Computing Sciences
  529.  
  530. Knowledge Representation:
  531.    Institute for the Learning Sciences, Northwestern University (ILS) 
  532.    Stanford
  533.    SUNY/Buffalo
  534.    Univ. of Maryland/College Park
  535.    Univ. of Oregon
  536.  
  537. Logic Programming and Logic-based AI:
  538.    Carnegie Mellon University (CMU)
  539.    Imperial College
  540.    Stanford
  541.    UCLA
  542.    Univ. of Edinburgh
  543.    Univ. of Maryland/College Park
  544.    Univ. of Melbourne
  545.    Univ. of Illinois/Urbana-Champaign (UIUC)
  546.    Univ. of Oregon
  547.    Univ. of Pennsylvania
  548.  
  549. Machine Discovery:
  550.    Carnegie Mellon University (CMU)
  551.  
  552. Machine Learning:
  553.    Brown University
  554.    Carnegie Mellon University (CMU)
  555.    George Mason
  556.    Georgia Tech
  557.    Johns Hopkins
  558.    MIT
  559.    UCI
  560.    Univ. of Massachusetts/Amherst
  561.    Univ. of Michigan
  562.    Univ. of Southern California & USC/Information Sciences Institute
  563.    Univ. of Texas/Austin
  564.    Univ. of Wisconsin
  565.  
  566. Natural Language Processing (NLU, NLG, Parsing, NLI, Speech):
  567.    Brown
  568.    Carnegie Mellon University (CMU)
  569.    Columbia
  570.    Georgia Tech
  571.    Illinois Institute of Technology (IIT)
  572.    Institute for the Learning Sciences, Northwestern University (ILS) 
  573.    ISI
  574.    Indiana
  575.    MIT
  576.    Penn
  577.    Stanford
  578.    SUNY/Buffalo
  579.    Toronto
  580.    UCLA
  581.    Univ. of Edinburgh 
  582.    Univ. of Maryland/College Park
  583.    Univ. of Massachusetts/Amherst
  584.    Univ. of Pittsburgh
  585.    Univ. of Rochester
  586.    Univ. of Southern California & USC/Information Sciences Institute
  587.    Univ. of Sussex, School of Cognitive and Computing Sciences
  588.    Waterloo (stylistics, MT, discourse)
  589.  
  590. Nonmonotonic Reasoning:
  591.    Imperial College
  592.    Stanford
  593.    UCLA
  594.    Univ. of Maryland/College Park
  595.    Univ. of Oregon
  596.    Toronto
  597.  
  598. Philosophy of AI:
  599.    Berkeley
  600.    MIT
  601.    Univ. of Maryland/College Park
  602.    Univ. of Sussex, School of Cognitive and Computing Sciences
  603.  
  604. Planning:
  605.    Brown University
  606.    Carnegie Mellon University (CMU)
  607.    Imperial College
  608.    MIT
  609.    Stanford
  610.    Univ. of Maryland/College Park
  611.    Univ. of Massachusetts/Amherst
  612.    Univ. of Oregon
  613.    Univ. of Pittsburgh
  614.    Univ. of Rochester
  615.    Univ. of Washington/Seattle
  616.    Waterloo 
  617.  
  618. Production Systems/Expert Systems:
  619.    Carnegie Mellon University (CMU)
  620.    Illinois Institute of Technology (IIT)
  621.    Stanford
  622.  
  623. Qualitative Physics and Model Based Reasoning:
  624.    Northwestern ILS (Forbus)
  625.    Univ. of Oregon
  626.    Univ. of Texas/Austin
  627.    Univ. of Washington
  628.  
  629. Reasoning Under Uncertainty (Probabilistic Reasoning, Approximate
  630. Reasoning, etc.): 
  631.    Brown University
  632.    George Mason
  633.    Oregon State University
  634.    Stanford
  635.    UCLA
  636.    Univ. of Maryland/College Park
  637.    Univ. of Rochester
  638.    University of South Carolina
  639.  
  640. Robotics:
  641.    Bristol Polytechnic, UK
  642.    Brown 
  643.    California Institute of Technology (Caltech)
  644.    Carnegie Mellon University (CMU)
  645.    Georgia Tech
  646.    Harvard
  647.    Hull University, UK
  648.    MIT
  649.    Naval Postgraduate School
  650.    New York University (NYU) Courant Institute of Mathematical Sciences
  651.    North Carolina State Univerisity/Raleigh (NCSU)
  652.    Oxford
  653.    Purdue
  654.    Reading University, UK
  655.    Rennsalear Polytechnic Institute (RPI)
  656.    Salford University, UK
  657.    Stanford
  658.    Swiss Federal Institute of Technology
  659.    UC/Berkeley
  660.    Univ. of Alberta
  661.    Univ. of Edinburgh
  662.    Univ. of Kansas
  663.    Univ. of Kentucky
  664.    Univ. of Maryland/College Park
  665.    Univ. of Massachusetts/Amherst
  666.    Univ. of Michigan
  667.    Univ. of Paris INRIA
  668.    Univ. of Pennsylvania
  669.    Univ. of Southern California & USC/Information Sciences Institute
  670.    Univ. of Utah
  671.    Univ. of Wisconsin
  672.    Yale 
  673.  
  674. Search:
  675.    UCLA
  676.    Univ. of Maryland/College Park
  677.    Univ. of Oregon
  678.  
  679. Temporal Reasoning:
  680.    Imperial College
  681.  
  682. Virtual Reality:
  683.    Carnegie Mellon University (CMU)
  684.    Cal Arts
  685.    Columbia
  686.    Florida Institute of Technology
  687.    MIT Media Lab
  688.    Naval Postgraduate School
  689.    Naval Research Lab
  690.    RPI
  691.    Stanford
  692.    Syracuse
  693.    Toronto
  694.    UIUC
  695.    Univ. of Alberta, Banff
  696.    Univ. of Central Florida
  697.    Univ. of Geneva
  698.    Univ. of North Carolina/Chapel Hill (UNC)
  699.    Univ. of Tokyo
  700.    Univ. of Virginia (UVA)
  701.    Univ. of Washington/Seattle -- HIT Lab
  702.  
  703. Vision:
  704.    Carnegie Mellon University (CMU)
  705.    Columbia
  706.    Johns Hopkins  
  707.    MIT
  708.    Oxford
  709.    SUNY/Buffalo
  710.    UCLA
  711.    Univ. of Edinburgh
  712.    Univ. of Maryland/College Park
  713.    Univ. of Massachusetts/Amherst
  714.    Univ. of Rochester
  715.    Univ. of Southern California & USC/Information Sciences Institute
  716.    Univ. of Sussex, School of Cognitive and Computing Sciences
  717.    Univ. of Wisconsin
  718.  
  719. ----------------------------------------------------------------
  720. Subject: [1-4] How can I get the email address for Joe or Jill Researcher?
  721.  
  722. The AAAI membership directory is updated annually and contains
  723. addresses, phone numbers, and email addresses for many members of AAAI
  724. and other AI societies. Contact info@aaai.org for information on
  725. getting a copy of the directory (you should get a free copy if you are
  726. a member of one of the listed societies).
  727.  
  728. See also the Email Address FAQ posting to the newsgroups soc.college
  729. and soc.net-people.
  730.  
  731. The Artificial Intelligence and Molecular Biology Researchers database
  732. contains names, institutions, addresses, phone, fax, email, 
  733. research interests and other related information about more than 200
  734. researchers worldwide.  The database is available via anonymous ftp from the
  735.    lhc.nlm.nih.gov:/pub/aimb-db/
  736. There are computer- and human-readable versions available.  Get the
  737. README file for more information or send email to Larry Hunter,
  738. <hunter@nlm.nih.gov>.
  739.  
  740. E-mail addresses for members of the Linguistics Society of America
  741. (LSA) are available by anonymous ftp as
  742.    linguistics.archive.umich.edu:/linguistics/LSA.email.list 
  743. or by sending a message to listserv@tamvm1.tamu.edu with 
  744. "get lsa lst linguist" in the message body.
  745.  
  746. A list of "Who's Who in Fuzzy Logic" may be obtained by sending a
  747. message to listserver@vexpert.dbai.tuwien.ac.at with
  748.   GET LISTSERVER WHOISWHOINFUZZY
  749. in the message body. New entries and corrections should be sent to
  750. Robert Fuller <rfuller@finabo.abo.fi>. 
  751.  
  752. ----------------------------------------------------------------
  753. Subject: [1-5] What are the rules for the game of "Life"?
  754.  
  755. Cellular Automata, of which Life is an example, were suggested by
  756. Stanislaw Ulam in the 1940s, and first formalized by von Neumann.
  757. Conway's "Game of Life" was popularized in Martin Gardner's
  758. mathematical games column in the October 1970 and February 1971 issues
  759. of Scientific American.  (Shorter notes on life are alse given in the
  760. column in each month from October 1970 to April 1971, and well as
  761. November 1971, January 1972, and December 1972.) There's also quite a
  762. bit on the game in "The Recursive Universe", by William Poundstone,
  763. Oxford University Press, 1987, 252 pages.
  764.  
  765. The rules for the game of life are quite simple. The game board is a
  766. rectangular cell array, with each cell either empty or filled. At each
  767. tick of the clock, we generate the next generation by the following rules:
  768.  
  769.         if a cell is empty, fill it if 3 of its neighbors are filled
  770.         (otherwise leave it empty)
  771.  
  772.         if a cell is filled, it
  773.                 dies of loneliness if it has 1 or fewer neighbors
  774.                 continues to live if it has 2 or 3 neighbors
  775.                 dies of overcrowding if it has more than 3 neighbors
  776.  
  777. Neighbors include the cells on the diagonals. Some implementations use
  778. a torus-based array (edges joined top-to-bottom and left-to-right) for
  779. computing neighbors. 
  780.  
  781. For example, a row of 3 filled cells will become a column of 3 filled
  782. cells in the next generation. The R pentomino is an interesting
  783. pattern: 
  784.       xx
  785.      xx
  786.       x
  787. Try it with other patterns of 5 cells initially occupied. If you
  788. record the ages of cells, and map the ages to colors, you can get a
  789. variety of beautiful images.
  790.  
  791. When implementing Life, be sure to maintain separate arrays for the
  792. old and new generation. Updating the array in place will not work
  793. correctly. Another optimization to to maintain a list of the cells
  794. that changed.
  795.  
  796. Conway has demonstrated that it is possible to construct the basic
  797. building blocks of a computer from Life using modified glider guns.
  798. See the last chapter of  
  799.    Elwyn R. Berlekamp, John H. Conway, and Richard K. Guy, "Winning
  800.    Ways", Academic Press, New York, 1982, ISBN 0-120911-507.
  801. for details.
  802.  
  803. Some interesting patterns to use include:
  804.  
  805.                                         *
  806.    *       *      **        *           *         
  807.     **      *     **         *          *            *  *
  808.   **      ***            *   *                       ****
  809.     *                     ****      ***   ***       *    *
  810.                                                     * ** *
  811.  Clock  Glider  Block  Spaceship        *           *    *
  812.                                         *            ****
  813.                                         *
  814.                                    Traffic Light  Cheshire Cat
  815. ----------------------------------------------------------------
  816. Subject: [1-6] What AI competitions exist?
  817.  
  818. The Loebner Prize, based on a fund of over $100,000 established by New
  819. York businessman Hugh G. Loebner, is awarded annually for the computer
  820. program that best emulates natural human behavior. During the
  821. contest, a panel of independent judges attempts to determine whether
  822. the responses on a computer terminal are being produced by a computer
  823. or a person, along the lines of the Turing Test. The designers of the
  824. best program each year win a cash award and a medal. If a program
  825. passes the test in all its particulars, then the entire fund will be
  826. paid to the program's designer and the fund abolished. For further
  827. information about the Loebner Prize, write Dr. Robert Epstein,
  828. Executive Director, Cambridge Center for Behavioral Studies, 11
  829. Waterhouse Street, Cambridge, MA 02138, or call 617-491-9020.
  830.  
  831. The BEAM Robot Olympics is a robot exhibition/competition started in
  832. 1991. For more information about the competition, write to BEAM Robot
  833. Olympics, c/o: Mark W. Tilden, MFCF, University of Waterloo, Ontario,
  834. Canada, N2L-3G1, 519-885-1211 x2454, mwtilden@watmath.uwaterloo.ca.
  835.  
  836. The Gordon Bell Prize competition recognizes outstanding achievements
  837. in the application of parallel processing to practical scientific and
  838. engineering problems. Entries are considered in performance,
  839. price/performance, compiler parallelization and speedup categories,
  840. and a total of $3,000 will be awarded. The prizes are sponsored by
  841. Gordon Bell, a former National Science Foundation division director
  842. who is now an independent consultant.  Contestants should send a
  843. three- or four-page executive summary to 1993 Gordon Bell Prize, 
  844. c/o Marilyn Potes, IEEE Computer Society, 10662 Los Vaqueros Cir., 
  845. PO Box 3014, Los Alamitos, CA 90720-1264, before May 31, 1993.
  846.  
  847. AAAI has an annual robot building competition.  The anonymous FTP site
  848. for the contest is/was 
  849.    aeneas.mit.edu:/pub/ACS/6.270/AAAI/
  850. This site has the manual and the rules.  To be added to the
  851. rbl-94@ai.mit.edu mailing list for discussing the AAAI robot building
  852. contest, send mail to rbl-94-request@ai.mit.edu. See also the 6.270
  853. robot building guide in part 4 of this FAQ.
  854.  
  855. The International Computer Chess Association presents an annual prize
  856. for the best computer-generated annotation of a chess game. The output
  857. should be reminiscent of that appearing in newspaper chess columns,
  858. and will be judged on both the correctness and depth of the variations
  859. and also on the quality of the program's written output. The deadline
  860. is December 31, 1994. For more information, write to Tony Marsland
  861. <tony@cs.ualberta.ca>, ICCA President, Computing Science Department,
  862. University of Alberta, Edmonton, Canada T6G 2H1, call 403-492-3971, or
  863. fax 403-492-1071.
  864.  
  865. ----------------------------------------------------------------
  866. Subject: [1-7] Commercial AI products.
  867.  
  868. Commercial Expert System Shells are listed in the Expert System Shells FAQ.
  869.  
  870. See the Robotics FAQ for information on Robotics manufacturers.
  871.  
  872. Stiquito is a small (3cm H x 7cm W x 6cm L), simple (32 parts) and
  873. inexpensive (< $30) nitinol-propelled hexapod robot developed at the
  874. Indiana University (Bloomington) Robotics Laboratory.  Its legs are
  875. propelled by nitnol actuator wires. Each leg has one degree of freedom.
  876. The robot walks up to 10 centimeters per minute and can carry a 9-volt
  877. cell, a MOSIS "tiny chip" and power transistors to drive the nitinol
  878. actuator wires. Nitinol wire (aka BioMetal, Flexinol), is a nickel-titanium
  879. alloy which exerts useful force as it is heated by passing a current
  880. through it. IUCS Technical Report 363a describes Stiquito's construction
  881. and is available by anonymous ftp from 
  882.    cs.indiana.edu:/pub/stiquito/ [129.79.254.191]
  883. as are many other related files.  The tech report is also
  884. available by US mail for $5 (checks or money orders should be made payable
  885. to "Indiana University") from Computer Science Department, Attn: TR 363a
  886. 215, Lindley Hall, Indiana University, Bloomington, Indiana 47405. A kit
  887. containing all the materials needed to construct a simple version of
  888. Stiquito and its controller is available for an extra $10 from the above
  889. address (use attn line "Stiquito Kit"). To receive a video showing the
  890. assembly of Stiquito, include an additional $10 and add "Video" to the
  891. "Attn:" line.  Anyone may build and use Stiquitos in any quantity for
  892. educational or research purposes, but Indiana University reserves all
  893. rights to commercial applications. Questions about Stiquito should be sent
  894. to Prof. Jonathan W. Mills <stiquito@cs.indiana.edu>. To join the Stiquito
  895. mailing list run by Jon Blow of UC/Berkeley, send mail to
  896. stiquito-request@xcf.berkeley.edu.
  897.  
  898. Togai InfraLogic, Inc. (TIL) is a supplier of fuzzy logic and fuzzy
  899. expert system software and hardware. For more information, write to
  900. Togai InfraLogic, Inc., 5 Vanderbilt, Irvine, CA 92718, call +1 714
  901. 975 8522, fax +1 714 975 8524, or send email to info@til.com or
  902. til!info.  TIL also supports an email-server that can be reached at
  903. fuzzy-server@til.com or til!fuzzy-server.  Send an email message that
  904. contains just the word "help" in either the subject line or the
  905. message body for more information. A list of products can be obtained
  906. by sending a message that contains only the line "send products.txt"
  907. to the email-server. For an index of the contents of the server, send
  908. a message with the line "send index".
  909.  
  910. The following is from Risks Digest 13.83 -- I have no idea what the software
  911. does, but Colby did head up the PARRY project:
  912.  
  913.   FEELING HELPLESS ABOUT DEPRESSION? Overcoming Depression 2.0 provides
  914.   computer based cognitive therapy for depression with therapeutic
  915.   dialogue in everyday language.  Created by Kenneth Mark Colby, M.D.,
  916.   Professor of Psychiatry and Biobehavioural Sciences, Emeritus, UCLA.
  917.   Personal Version ($199), Professional version ($499).  Malibu
  918.   Artificial Intelligence Works, 25307 Malibu Rd, CA 90265.
  919.   1-800-497-6889.
  920.  
  921. ----------------------------------------------------------------
  922.  
  923. ;;; *EOF*
  924.  
  925.